//0x10 bytes (sizeof)
struct _MI_SYSTEM_PTE_TYPE
{
struct _MMPTE* FirstFreePte; //0x0
ULONG* FailureCount; //0x4
struct _KGUARDED_MUTEX* GlobalMutex; //0x8
volatile ULONG TbFlushTimeStamp; //0xc
};